Dislop: Towards a Disjunctive Logic Programming System
نویسندگان
چکیده
This paper gives a brief high-level description of the implementation of a disjunctive logic programming system referred to as Dis-LoP. This system is a result of research activities of the Disjunctive Logic Programming-project (funded by Deutsche Forschungs-Gemeinschaft), undertaken by the University of Koblenz since July 1995.
منابع مشابه
DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover
In this paper, we describe a disjunctive logic programming system, referred to as Dis-LoP, based on PROTEIN theorem prover. PROTEIN supports certain theorem proving calculi, such as restart model elimination and hyper tableaux, that are suitable for working with positive disjunctive logic programs. In particular, restart model elimination calculus is answer complete for postive queries. The Dis...
متن کاملDisLoP: A Research Project on Disjunctive Logic Programming
This paper gives a brief high-level description of what has been done in the Disjunctive Logic Programming-project (funded by Deutsche Forschungs-Gemeinschaft), undertaken by the University of Koblenz since July 1995. We present the main ideas, cite the relevant papers and point to the implemented systems and how to access them. This paper also serves as a brief survey of the current status of ...
متن کاملAutomating Defeasible Reasoning with Logic Programming (DeReLoP)
This is a description of the DeReLoP project between the Artificial Intelligence groups at the University of Koblenz, Germany and the Universidad Nacional del Sur, Bahia Blanca, Argentina. The overall idea is to try to combine the theoretical and practical work done in Bahia Blanca and Koblenz and make it confluent. Both groups are working in the broad area of knowledge representation and on ap...
متن کاملThe Intelligent Channel: A Scheme for Result Sharing in Logic Programs
The separation of logic and control In logic pro grams allows the programmer to write programs whose execution Is determined by the Interpreter. This charac teristic of logic programs spurred research towards diversifying the means for controlling the execution of logic programs, and towards understanding and explor ing the value of parallelism In logic programming. Much of these efforts bel...
متن کاملCalculi for Disjunctive Logic Programming
In this paper we investigate relationships between top-down and bottomup approaches to computation with disjunctive logic programs (DLPs). The bottom-up calculus considered, hyper tableaux, is depicted in its ground version and its relation to fixed point approaches from the literature is investigated. For the top-down calculus we use restart model elimination (RME) and show as our main result ...
متن کامل